Abstract model theory - PDFSEARCH.IO - Document Search Engine

Abstract model theory
Results: 937

#	Item
531	Parts and Counterparts Wolfgang Schwarz Draft, 19 March 2005 Abstract. Ordinary objects – people, planets, tables and rivers – exist at various worlds, times and places. But what does that mean? One acco Add to Reading List Source URL: www.umsu.de Language: English Philosophical logic Model theory Analytic philosophers Logicians Counterpart theory Mereology Saul Kripke Temporal parts Entailment Logic Mathematical logic Modal logic
532	95 Homotopy type theory ´ Alvaro Pelayo1 , Michael A. Warren2 Add to Reading List Source URL: smf4.emath.fr Language: English - Date: 2014-10-17 09:03:44 Abstract algebra Homotopy type theory Homotopy Groupoid Function Fundamental group Model category Curry–Howard correspondence Type theory Mathematics Homotopy theory Topology
533	A Uni…ed Characterization of Belief-Revision Rules Franz Dietrich, Christian List, and Richard Bradley1 October 2010, revised November[removed]Abstract Add to Reading List Source URL: personal.lse.ac.uk Language: English - Date: 2014-11-20 10:07:19 Probability Conditional probability Bayesian probability Prior probability Event Posterior probability Independence Graphical model Probability theory Bayesian statistics Statistics
534	Emperors, dragons, and other mathematicalia Wolfgang Schwarz 02 February 2005 Abstract. One of the most intriguing applications of possibilia is the reduction of mathematical truths. I argue that this is no Add to Reading List Source URL: www.umsu.de Language: English Elementary mathematics Z notation Model theory Formal systems Peano axioms Axiom Philosophy of mathematics Gottlob Frege Logicism Mathematics Mathematical logic Logic
535	Logical Prior Probability Abram Demski? Institute for Creative Technologies, 12015 Waterfront Drive, Playa Vista, CA[removed]Abstract. A Bayesian prior over first-order theories is defined. It is shown that the prior can b Add to Reading List Source URL: ict.usc.edu Language: English - Date: 2013-03-04 17:41:21 Philosophical logic Model theory Entailment Metalogic Information theory Conditional probability Independence Modal logic Probabilistic logic Logic Probability theory Non-classical logic
536	Why we need to teach logic and how can we teach it? Mária Bakó∗ Abstract Logic is usually left out from education in mathematics. This fact has effects on understanding mathematics and even on learning languages, too Add to Reading List Source URL: www.cimt.plymouth.ac.uk Language: English - Date: 2005-08-11 11:31:11 Model theory Mathematical logic Abstraction First-order logic Function Mathematical proof Puzzle Theorem Modal logic Logic Mathematics Philosophical logic
537	A Model of Non-Informational Preference Change Franz Dietrich and Christian List July 20, 2009 Abstract Add to Reading List Source URL: personal.lse.ac.uk Language: English - Date: 2009-07-20 09:19:20 Knowledge Salience Semiotics Decision theory Preference Utility Lexicographic preferences Rational choice theory Dimensional analysis Microeconomics Consumer theory Economics
538	THE STABLE FREE RANK OF SYMMETRY OF PRODUCTS OF SPHERES BERNHARD HANKE A BSTRACT. A well known conjecture in the theory of transformation groups states that if p is a prime and (Z/p)r acts freely on a product of k sphere Add to Reading List Source URL: www.math.uni-augsburg.de Language: English - Date: 2013-12-05 22:03:02 Homotopy theory Homology theory Homological algebra Binary operations Cohomology Rational homotopy theory Cup product Chain complex Model category Abstract algebra Topology Algebraic topology
539	Abbott, “Abstract data types and constructive emergence” (DRAFT) Add to Reading List Source URL: www.cs.york.ac.uk Language: English - Date: 2010-03-10 12:17:00 Knowledge Ethology Scientific modeling Cybernetics Emergence Agent-based model Complex system Complex adaptive system Self-organization Science Complex systems theory Systems
540	Optimizing Abstract Abstract Machines J. Ian Johnson Nicholas Labich Matthew Might Add to Reading List Source URL: matt.might.net Language: English - Date: 2014-03-23 14:11:52 String Structure Linguistics Logic Mathematics Symbol Model theory

UPDATE